1. Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings
المؤلف: Eerke A. Boiten, John Derrick, Graeme Smith )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Formal methods )Computer science(
رده :
QA
76
.
L28
Vol
.
2999
2. Refinement in Z and Object-Z :
المؤلف: John Derrick, Eerke A. Boiten
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Object-oriented programming (Computer science),Z (Computer program language)
رده :
QA76
.
73
.
Z2
D47
2014
3. Refinement in Z and Object-Z :foundations and advanced applications
المؤلف: Derrick, John, John Derrick, Eerke A. Boiten
المکتبة: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Z )Computer program language(,، Object-oriented programming )Computer science(
رده :
QA76
.
73
.
Z2
D47
2014
4. Z-Refinement in Z and Object
المؤلف: / John Derrick, Eerke A. Boiten
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
